Mathematica Connectivity to Interval Libraries filib++ and C-XSC
نویسنده
چکیده
Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of the software packages. In this work we present the integration of programs based on the interval libraries filib++ and C-XSC into Mathematica via MathLink communication protocol. On some small easily readable programs we demonstrate: i) some details of MathLink technology, ii) the transparency of numerical data communication without any conversion, iii) the advantage of symbolic manipulation interfaces — the access to the external compiled language functionality from within Mathematica is often even more convenient than from its own native environment.
منابع مشابه
C-XSC and Closely Related Software Packages
C-XSC [11,12] is a C++ class library for verified computations, using interval arithmetic [2]. C-XSC has been developed and maintained for almost twenty years to enable and facilitate the implementation of reliable numerical methods on computers. Today, it is one of the most sophisticated software libraries available for this purpose (most wide-spread alternatives include INTLAB [19], filib++ [...
متن کاملCoStLy: A Validated Library for Complex Functions
For the validated computation of complex functions, Bühler [1] has implemented algorithms that were presented in [2] as part of a Pascal–XSC interval library. Although Pascal-XSC is still available [4], it is no longer being maintained and it requires outdated compiler versions, which make it difficult to use nowadays. CoStLy is a new C++ library of complex standard functions for the rigorous c...
متن کاملEmbedding C-xsc Nonlinear Solvers in Mathematica
This work presents the integration of C-XSC nonlinear problem-solving modules based on automatic differentiation into Mathematica via MathLink protocol. ACM: G.4, D.2.12, D.2.13
متن کاملCommunicating Functional Expressions from Mathematica to C-XSC
This work focuses on a mechanism (and software) which communicates (via MathLink protocol) and provides compatibility between the representation of nonlinear functions specified as Mathematica expressions and objects of suitable classes supported by the C-XSC automatic differentiation modules. The application of the developed communication software is demonstrated by MathLink compatible program...
متن کاملThe CoStLy C++ Class Library
where power(z, n) is the power function for integer exponents, pow(z, p) is the power function for real or complex exponents, and root(z, n) denotes the nth root function. An interval library for the real standard functions in SF is required by CoStLy, for evaluating the compositions of real functions that make up the real and imaginary parts of the complex functions in SF . CoStLy has been pro...
متن کامل